Ipotesi\!:\ \overline{AC} \cong \overline{BC};\ 
\overline{AH} \cong \overline{BH}\
Tesi\!:\ \overline{CH} \perp \overline{AB};\ 
A\^CH \cong B\^CH

1\ -\ \triangle ACH \cong BCH\ -\ III\ criterio\!:\ 
\overline{AC} \cong \overline{BC}\ (Ip.);\ 
\overline{CH}\ comune; \ 
\overline{AH} \cong \overline{BH} (Ip.)

2\ -\ C\^HA \cong C\^HB\ -\ Per\ (1)

3\ -\ A\^HC \cong \frac{\pi}{2}\ -\ Per\ A\^HB 
\cong \pi\ e\ (2)\ -\ Prima\ parte\ della\ tesi

4\ -\ A\^CH \cong B\^CH\ -\ Per\ (1)\
Q.\ E.\ D.

http://www.profcortese.net

A = (0.84, -2.44)
B = (4.26, -2.44)
a = Segment(A, B)
b = LineBisector(a)
C = Point(b)
c = Segment(A, C)
d = Segment(C, B)
H = Intersect(b, a)
f = Segment(A, H)
g = Segment(H, B)
e = Segment(C, H)